| Name | Format | # Lines | Size | Date |
|---|---|---|---|---|
| contents.rdf | Extensible Markup Language | 23 | 1004 b | 2009-10-07 |
| misc.dtd | Text File | 16 | 913 b | 2009-10-07 |
| pref-appearance.dtd | Text File | 13 | 523 b | 2009-10-07 |
| pref-filetype.dtd | Text File | 6 | 217 b | 2009-10-07 |
| pref-tabmix.dtd | Text File | 274 | 18.6 KB | 2009-10-07 |
| session-manager.properties | Text File | 106 | 8.8 KB | 2009-10-07 |
| tabmix.dtd | Text File | 131 | 6.6 KB | 2009-10-07 |
| tabmix.properties | Text File | 41 | 3.6 KB | 2009-10-07 |